<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
            "http://www.w3.org/TR/REC-html40/loose.dtd">
<HTML>
<HEAD>



<META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
<META name="GENERATOR" content="hevea 1.08">
<LINK rel="stylesheet" type="text/css" href="libman.css">
<TITLE>
Set Expressions
</TITLE>
</HEAD>
<BODY >
<A HREF="libman028.html"><IMG SRC ="previous_motif.gif" ALT="Previous"></A>
<A HREF="libman025.html"><IMG SRC ="contents_motif.gif" ALT="Up"></A>
<A HREF="libman030.html"><IMG SRC ="next_motif.gif" ALT="Next"></A>
<HR>

<H2 CLASS="section"><A NAME="htoc66">5.4</A>&nbsp;&nbsp;Set Expressions</H2>

In most positions where a set or set variable is expected one can also
use a set expression. A set expression is composed from ground sets
(integer lists), set variables, and the following set operators:
<PRE CLASS="verbatim">
    Set1 /\ Set2       % intersection
    Set1 \/ Set2       % union
    Set1 \ Set2        % difference
</PRE>When such set expressions occur, they are translated into auxiliary
<A HREF="../bips/lib/fd_sets/intersection-3.html"><B>intersection/3</B></A><A NAME="@default179"></A>,
<A HREF="../bips/lib/fd_sets/union-3.html"><B>union/3</B></A><A NAME="@default180"></A> and
<A HREF="../bips/lib/fd_sets/difference-3.html"><B>difference/3</B></A><A NAME="@default181"></A>
constraints, respectively.<BR>
<BR>
<HR>
<A HREF="libman028.html"><IMG SRC ="previous_motif.gif" ALT="Previous"></A>
<A HREF="libman025.html"><IMG SRC ="contents_motif.gif" ALT="Up"></A>
<A HREF="libman030.html"><IMG SRC ="next_motif.gif" ALT="Next"></A>
</BODY>
</HTML>
